Tautologie

Tautologie (z řeckého ταυτολογία, tautologia, výpověď o témže) je v logice vždy pravdivý složený^[zdroj?] výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku. Příkladem tautologie je výrok: „Buď bude zítra pršet, nebo zítra pršet nebude.“ Ačkoliv je výrok pravdivý, nenese žádnou informační hodnotu, protože nemůže být deduktivně použit k vyloučení platnosti jakýchkoliv jiných tvrzení.